Bug fix linux compilation