fix travis 7