@dc42 Where is that header file located in the git repo? I would like to take a look.