Try to fix linux compilation