executables addMiniHeader, printMiniHeader and raw2date added

No match.