I prefer to have our own externs.js and not let just this make us unable to support IE < 8