Add configure-time option to set optimization level.