bug-fix in Build.scala
bug-fix in Build.scala