name change

the extract file is now called "exxtract" to avoid confusion with the
setup scripts.