added a debug line for option_git
Merge branch 'switch_to_cxx' of github.com:bjweerd/gent into switch_to_cxx