Do not override scala.Predef source anymore.

I don't know when this has become unnecessary, but in
any case it's not at this point. Maybe it never was.