fixing linux compilation