Tell uglifyjs to not mangle undefined; saves 44 bytes. Fixes #13759. Close gh-1239.