Correction for linux compilation