fix github build error