correct 64-bit Linux build of C compiler