Tweek destroy_machine for docker containers