doxygen, libreadline-dev, etc. are in fact required, not optional