install.php, some isset() added