undo a change we did to the 4ti2 configure script