Now it compiles on Linux