DEFCONFIG: optimize -O3