patches to build with latest HaNS
patches to build with latest HaNS

rowhit/HaLVM,elijah513/HaLVM,ggkitsas/HaLVM,mwotton/HaLVM,GaloisInc/HaLVM,ggkitsas/HaLVM,mwotton/HaLVM,mwotton/HaLVM,rowhit/HaLVM,GaloisInc/HaLVM,elijah513/HaLVM,rowhit/HaLVM,GaloisInc/HaLVM,elijah513/HaLVM,ggkitsas/HaLVM