Make Setup prelude explicit.