Use new JOptSimple API to get options correctly.