fixing github build failure