small fix for gitignore, and cleaned out an old file