Fix MySQL patch