Rename --disable-opts option to --disable-optimizations in order to be less