Use XShell 0.9 SNAPSHOT to allow Jenkins to kill jobs (#529)