Also build 32 bit Linux (fixes #108)