copy the prelude even if it has a module name

this makes the code simpler, especially given the conditions in which
the contents of the file needs to change are going to get more complex.
"sourceFile", shorter than "configFileWithModule"
using implicit params to... simplify?

I'm not actually convinced that this version is simpler.
But it's a step in... some direction.