to_short_path(path)

Converts a long path to a micros~1 short path and returns it.

For obvious reasons the object path points to has to be valid.