disable custom prelude files until later

I thought we already had a way to use a custom user prelude, but it's
because I had misunderstood the purpose of `optModuleFile`.