record.js: make entire filename one translatable string