fix a build failed on buildhive