File run-scala-unix.patch of Package scala

*** scala	2017-07-25 12:51:49.000000000 +0200
--- scala	2017-10-15 20:49:40.676848575 +0200
***************
*** 73,79 ****
  fi
  
  # Finding the root folder for this Scala distribution
! SCALA_HOME="$(findScalaHome)"
  SEP=":"
  
  # Possible additional command line options
--- 73,79 ----
  fi
  
  # Finding the root folder for this Scala distribution
! #SCALA_HOME="$(findScalaHome)"
  SEP=":"
  
  # Possible additional command line options