fixing travis CI problems