Comment 2 for bug 1550897

Thanks for your patch!

We recently dropped getopt in our development version, and thus your modification had to be adapted. The attached patch was created and tested on Xubuntu 15.10 with rev. 14674. I also added a minimal help documentation for the new option.