builder/digitalocean: give up on graceful shutdown more quickly