Remove temporary directory in Proof cleanup.