Fix build error so cinnamon compiles with mozjs-17

https://mail.gnome.org/archives/desktop-devel-list/2013-March/msg00135.html

Fixes #2113