DEFCONFIG: Optimize -O3