Rename 'installation.php'