echo "Copying to LIBS: ..."
copy #?.library LIBS:
echo "Done."