fmex Makefile.in is modified such that "default" compiles the 8-byte ints correctly