fix int64_t redefinition with sys/types.h, maybe temporary fix