provide -r option to prove, but not -j