Fix building on linux