Compilation fix for linux