fix travis, I hope again