github build issue: markku