Add a patch against GdkQuartz to fix some broken keys in JIS keyboard