Use sane paths for intermediate EFI files