Pushed shell-kill.py to master