Next attempt: fix .gitignore for Unix and OSX. Sorry RDM!