Try to fix linux compilation.