Fix DH file format headers for 32-bit values