Bugfix: Corrected wrong inclusion of header file. Code compiles now.