echo "Installing tool.library into your LIBS: directory...."
copy tool.library to LIBS: