Update Makefile

Co-authored-by: Julian Arce <[email protected]>

Author: MarcosNicolau

Makefile

@@ -200,7 +200,7 @@ verify_aggregated_proof_risc0_holesky_stage:
 		--rpc_url https://ethereum-holesky-rpc.publicnode.com
 
 install_aggregation_mode: ## Install the aggregation mode with proving enabled
-	cargo install --path aggregation_mode --features prove
+	cargo install --path aggregation_mode --features prove --bin proof_aggregator
 
 agg_mode_write_program_ids: ## Write proof aggregator zkvm programs ids 
 	cargo run --manifest-path ./aggregation_mode/Cargo.toml --release --bin write_program_image_id_vk_hash