Fixing linux compilation.