Doc fix, won't install on any current version of debian, need to use ubuntu 14.04