fixed core.h int64 one more time