Hopefully fix travis ci builds.²