fill in some auto-generated files