unconfigure.bat

Undo changes that were made with configure.bat.