Rename production.php to prod.php