Another attempt with enabled -O3. If it doesn't work then it hopefully can be disabled on a more specific basis. Rev: src/configure.in:1.1063