> apt-get install -y build-essential libkrb5-dev ... This can slightly more easily done using 'apt-get build-dep postgresql-9.4'. That'll also pull in the too

> apt-get install -y build-essential libkrb5-dev ... This can slightly more easily done using 'apt-get build-dep postgresql-9.4'. That'll also pull in the tools to build the docs, but I'd consider that a good thing. > make world && make install You're building world, but not installing it -> make install-world.