fix travis detection