more fixups due to .gitignore