Disabling guru mode in prelude-override.