Rename 'copy_of_Int64.php'