Use test-driver instead of prove