Fixing build on linux