hopefully fix permission denied error in travis