Add a couple necessary generated files