This file should not be commited.

(I think it's actually ignored by .gitignore)