fix compilation #1035
Merge branch 'bugfixes/tokumx-1.4'