jupp: Update from 3.1jupp31 to 3.1jupp35