Fix (hopefully) travis builds.