Fixing build on Linux, hopefully