Turn off .debug_pubnames/pubtypes for PS4.