Partial fix for #543: the compiler did not handle escaped characters
well in string templates

The  first example seems to be ok in the compiler, but here the
interpreter is at fault.