recover broken shiftjis filenames

recover.py

#!/usr/bin/python

import os
import glob
import re

def recover(s, e='sjis'):
    return re.sub(r'\\(...)', lambda m: chr(int(m.group(1), 8)), s).decode(e)

def rename(f):
    os.rename(f, recover(f))

if __name__ == '__main__':
    map(rename, glob.glob('*'))