one more attempt to avoid warning from extract-isoc.xsh