Fix symbol extraction script on linux