really fix travis file