Tell uglifyjs to not mangle undefined; saves 44 bytes. Fixes #13759.