Fix building on Linux