revert ./configure options to c0cf4df50f08341d5121763f2d34f944eaf93925