Framework: Switch to the new 4.2 handling of public symbols