Hopefully fix travis ci builds.³