Rename 'copy_of_set_user_prefs.php'