As reported by Bage there is a possible fix (even if don't seem very good) already used in Fedora: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1066872#12 I'm not had time to try it in Debian
** Bug watch added: Debian Bug tracker #1066872 https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1066872 ** Also affects: mozjs102 (Debian) via https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1066872 Importance: Unknown Status: Unknown -- You received this bug notification because you are a member of Ubuntu Cinnamon Developers, which is subscribed to the bug report. https://bugs.launchpad.net/bugs/2058787 Title: proposed-migration for mozjs102 102.15.1-3 To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/mozjs102/+bug/2058787/+subscriptions -- universe-bugs mailing list universe-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/universe-bugs