fix twitter bootstrap's uglifyjs2