permit ksh extglobs in GNU bash