Hopefully finally fixes travis