don't check for prelude when using --no-main