fix package name (dlvhex2 instead of dlvhex)
fix package name (dlvhex2 instead of dlvhex)