mysql51: fix by removing bad patch