ignore a few generated files