Hi Fokko, this one from iot.semtech.com: http://iot.semtech.com/resources/Kerlink_IoT_station_page/files.xml?action=download&file=kerlink_IoT_LoRa_update_DHCP.zip.
The gateway is not mine. Tried to use Skype to remote debug this and find the new IP of the gateway and could not do that. I'll go over to the office where the gateway is on Thursday to manually debug. However, because I only have 2 days in the Netherlands, I'd like to come well prepared, thus bringing a debug cable as well.