try to fix weird github build issue