gnome-shell no longer needs the RANDMMAP exception

This was caused by spidermonkey, and is no longer necessary.