Fix for building from a chroot

We build 32 bit linux binaries on a 64 bit system, and it wasn't correctly detecting linux/linux64 as the platform then.