Remove multiple references to --no-prelude

Resolves #564