drop-criterion.patch
