Update vampire.py