Better file-name in hiddenFiles.js