How to tell if an executable is 32-bit or 64-bit on x86-64?