Use the mysql-patcher pkg for database patching