Fix `-main`