static name for the cached prelude

we don't really need to timestamp that filename, and doing so was making
the code needlessly complex.