The include JS file is there and the link to WinIE.js is valid.  I was able ot download that file using the link.