minor adjustments; add missing FileSaver.js