On 28/07/2015 11:52 pm, D Peter Siddons wrote: > Most of them were installed already. Package "build-dep" doesn't > exist according to apt. Neither did "python-2.7-dev". I installed > "python-all-dev", and then the build completed successfully :) A patch to the documentation would be most welcome. Thanks Chris