do a kill -9 after kill -s INT to make sure no stubborn processes stick around