build error on SmartOS

This fixes issue #422 that I reported.