fix bug in install.php