FIX: minor regression on interpreter's handling of /extern option.