Fixed public_header_files