Attempt to fix github build