fix build breakage on github