CoralVM-PHP: Bugfix: CLI short options should not contain dashes