viennarna 2.1.8: Change single quotes to double