The file was generated by "make package"