trying to fix github build failure