Try (again) to fix Travis errors.