Add missing serial.distribution field to IDL