Fix short options parsing

2 jobs for !22 with small-fixes in 1 minute and 36 seconds (queued for 3 seconds)
detached
Status Job ID Name Coverage
  Build
passed #12398
build

00:00:40

 
  Distcheck
passed #12399
distcheck

00:00:56