[Specification] add support for library_files