Having consulted Arduino technical support the solution appears to be to reflash the motor carrier board firmware using Arduino IDE > Files > Examples > MKR Motor Carrier> Flasher
.
I'm not yet sure whether this is a permanent fix as I the first time I tried it the thing worked once then stopped working again, but after repeating the procedure it seems OK so far (crosses fingers)