compilation fix for #1059
Merge branch 'bugfixes/tokumx-1.4'