Fix building on Linux again.