echo BeforeInstall>> %~dp0/../../../../../executed_proof_file