Fix compatibility problem with the updated version of the mysql submodule