fix travis 4