devtools: Exclude default exports from symbol-checker script

See discussion in #4663.