Updated web.js: file buffer I/O