def get_short_path_name(long_name):
    """
    Gets the short path name of a given long path.
    http://stackoverflow.com/a/23598461/200291
    """
output_buf_size = 0
while True:
    output_buf = ctypes.create_unicode_buffer(output_buf_size)
How to get Windows short file name in python?