temporarilly removed install.php to make development easier (it's still there as DISABLED_install.php)