Yes, that was a wrong header file. The next beta version, due tomorrow, will contain the right one.