Actually delete kill.py when merging