Actually convert escape chars in --vprod. (#139058, Christophe Saout)