amend previous commit (update install.php as well)