Try to fix mysql build failure