Hide internal symbols
Update INSTALL