[Maria-developers] prefix matching for command-line options - how to disable?