decode file names with filesystem encoding, then encode as utf-8 before encoding with simplejson