mummer 3.23: Change single quotes to double quotes