Update install.php

Fixes (partially) issue #4