Find where prove is, instead of assuming it's in the path.