linux compilation fix