Try to fix ppc bot failure.