generated files useful for build