modify mysql build script