Deleting generated files. (Failed to do so with previous commit.)