Make it build on Linux again