Fix build on Linux

Fixes issue #10