mirroring: build diffs with Buffer for better performance in Scala 2.10