add missing dlvhex info to some cpp files