automatically generated files (for windows?)