Makefile: support cross-compiling 32-bit and 64-bit executables