Fix a regression from 171193: main cannot be overloaded.
Thanks Eli Friedman for noticing it.