fix patch name in ANTLR easyconfig