Have ./configure tolerate unknown options