Disable JavaScript name mangling

It breaks Angular JS (though there is a verbose workaround in Angular).