Replace extract_global_symbols script by a more expressive Perl version
-rwxr-xr-x 294 count_global_symbols.sh
-rwxr-xr-x 1642 extract_global_symbols.pl