Build fixes for DRMAA, missing doxygen, and in general (files missing
in dist tarballs).