src/check_symbols: Work around some sed implemention. (Especially Mac OS X's).