Another Linux compilation fix.