Fix list-symbols.sh

- make it work on Linux
- use all three libraries
1 file changed