User-agent:
Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20130106 Thunderbird/17.0.2
The problem seems to be that the modifications made by the script
run-adt-test to the dhcp client config file (/etc/dhcp/dhclient.conf)
conflict with the config installed by the isc-dhcp-client package
(4.2.4-4ubuntu1).