added public_header_files to regdomlibs