file GENERATED by distutils