configure. It was already changed not to support additional options, but now
it was trying to pass all of the options to ./configure. (Bug #8648)