added shorten_path.py