provide the original filename to Node.js, for #45