Loads of work just to not have the .gitignore in the distribution...