add a kill-server to the makefile