MySQL submodule update