fix definition of int64 and uint64
patch osx makefile