Simplification of symbol-embedding.sh.