verbose terminate() on by default

[Gabriel Dos Reis]

Phil Edwards <phil@jaj.com> writes:

| I'll be stepping out for some hours, but will provide a new patch when
| I return.

Thanks.

(It is about about 02h15 here, so I should be there..., if I didn't fall
asleep ;-)

-- Gaby