Linux compilation fix