Linux compilation fix.