cherry-pick d78dd61b90138207ffd962ae98d8fc54f471ba05 which fixes the compilation error introduced by #171 due to incomplete cherry-pick.
Sorry for the first pull request missing this file! I didn't smoketest the code enough before the first pull request and thought that there was a testsuite to catch compilation issues.
cherry-pick d78dd61b90138207ffd962ae98d8fc54f471ba05 which fixes the compilation error introduced by #171 due to incomplete cherry-pick.
Sorry for the first pull request missing this file! I didn't smoketest the code enough before the first pull request and thought that there was a testsuite to catch compilation issues.