Possible bug with int64_t in GCC 4.9.4