dexts: some fixes for option parsing