Make sure that make test has prove

or carp about it.