Fix parsing of pragmas containing unicode characters; fixes #7671