fix INT64_MAX not found issue