Sigh. This version of the patch fails to provide make with the necessary rules to properly regenerate the tests instspc*.test. In case any of these tests is removed, subsequent `make check' or `make dist' calls will fail.
Fixing this problem is turning out to be quite tricky. For the moment, please don't apply the patch. I hope to come up with an amended patch soonish (probably tomorrow). Thanks, Stefano
