Add withFilter to placate scala 2.10.