put the Vampire executeable in this folder.
rename it to "vampire.exe"