echo "Copying mud.library to LIBS:"
copy mud.library LIBS: