Fixing spurious "missing main" errors