Build on linux again. Fixes #9