provide current vampire-4.5.1: presently unused in Sledgehammer, but relevant for Isabelle/Naproche;