attempts to fix github build error