don't forget install.ml during the bootstrapping. fixes #18.