Modified web.js to hopefully read the file with proper encoding