mozjs17: Fix splitting