Correct file names for e4.