removed install.ml (fixes #1)