gmt4: add mirror, opt_prefix
edirect 1.90