Fix the mysql patcher.