allow travis to find the prelude