Fixed the proof in elf/test.elf.

That file should be renamed soon.