Adjust TeX selftest to cope with desired change in bd4bf27aabb209