Makefile.in: More 64-bit fixes