Workaround for HoTT and softserial.