fix mysql CI script error