#426: .gitignore, remove subdirectory version