further fixes to git ignore