Remove prelude from startup.fs, not active by default