work around bug in Ubuntu Precise where restarting network does not work