Added get_lib_name().