Support 32bit build on Linux

Fixes #268.