Specify Proofer version