Issue #16: now handling short/long/mixed getopts ...