build fix for issue #89