Ignore some generated files not in svn:ignore