fix travis annoyance