more proper deletion of temp files using docker
fix kill bug