Made 'make_lib.sh' a bit more user-friendly.