Revert "added auxiliary dex options"

This reverts commit f7d76087d0d9d084149655eb7c12e9a500b445c9.
I totally forgot there is already `dex-opts` option for this.