update: fresh pull from scala-dist