"make test" should run "prove"