The Raspberry Pi 3 does have 1.2GHz 64-bit quad-core ARMv8 CPU. The official downloads offer a build for ARMv7. Is there any (performance) advantage in compiling your own binaries for Raspberry Pi 3, pressumably taking advantage of the ARMv8? If so, how should one do this?
Follow-up question: Does it matter which kind of Linux OS is being used? Right now, I am running Ubuntu MATE 16.04 (instead of Raspbian). Edit: When I log on to it remotely, it displays a banner: Welcome to Ubuntu 16.04 LTS (GNU/Linux 4.1.19-v7+ armv7l). That probably rules out taking advantage of the ARMv8?