fix bug 748: option aliases not recognized