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)


BUILD/FINISH.sh:
  Remove obsolete code that took arguments to the build scripts and passed
  them to configure -- now the only options supported are those handled within
  BUILD/SETUP.sh.