delete obsolete auto-main() code