Fixing build on Linux