Fixes for Debian
Fixes for Debian

FULL_PATH_NAMES=NO: should be used to generate nice header file graphs.

HTML_TIMESTAMP=NO: fixes issue https://trac.osgeo.org/proj/ticket/265

kimwalisch/primesieve,kimwalisch/primesieve,kimwalisch/primesieve