using our own string parsing instead of json's, to handle single-quoted strings containing unbackslashed double quotes