Curiously, I just switched off the developer mode on the concerned iPhone, and switched on after restart, and magically things now work. Mysterious, isn't it ...