added public_header_files to regdomlibs

sorry about the omission!