- correction of last changes for linux compilation