The last argument for Vampire is the file name.