discontinued odd workaround for scala-2.9.2, which is hopefully obsolete in scala-2.10.x;