correctly handle deprecated options, like --disable-cxx11.