Adapt preludes to base-4.7
Force reinstalls in Travis