run-*d.sh: really fix --shell support when interrupted