Add a patch for TclUDP, which is needed for Android