Fixed install.php, GitHub messed it up..