fix package name (dlvhex2 instead of dlvhex)