patch for bash4.3 path shortening bug