fix travis, I hope