Silently execute MyProve, make GPG function repeatable