extra/mysql: add back our patch