version in debug message based on git HEAD
Merge branch 'pr464'