Miscellaneous cleanups

Small grab-bag of patches which prevent versioning of generated files, just to clean up the workflow.