Fix #436: update default gitignore