The patch provided in https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=994860 works for upgrading the system. The changes can be done to the already installed files and an update is possible after that. Regards,