Tweak the Makefile to work in more situations.
Tweak the Makefile to work in more situations.

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