updated lib_spec