extras/tools: fix ragel patch application