echo "copying  tool.library to libs:"
copy tool.library to libs:
echo "all done!"