fix travis builder