Fixed bugs in the installer; and some misc enhancements.
Forgot to include .gitignore modification in previous commit.