fix linux compilation