more fixups for gitignores