(MFILENAME): Padding should be to twice sizeof(void*) because there are two digits for each hex byte.