Change a symbol into a string for regexp-opt.