Accept "main" methods other than main

We're only doing this because there might be a test case for it.
This is stupid.