install-dependencies-trusty better behaviour, including on systems with libiberty-dev headerfile bug