Auto include the Prelude, add --no-prelude flag.