Convert JS string to Pyret string in list-files().