Rename 'copy_of_library.php'