Fixing int64_t issues printing (hopefully)
Fixing missing include