try to fix linux compilation