If the library is locally available, he could just comment out line 28 in Arduino_MKRIoTCarrier_Relay.cpp. That could prevent the relay from turning off when "begin()" is called - but I'm not sure it is going to work since the pins have a default state during boot.