small linux compilation fix