more build system tweaks, and git-ignores