Add a linker symbol script on Linux. #3625.