A slightly hackish fix to unicode seqences in literals