removed an old option from the configure too