rgui-config.patch