fixes to man pages, path of generator
Merge branch 'master' into debian
this is just a sandbox for debian package