diff --git a/src/bin_client/test/demo/main.ml b/src/bin_client/test/demo/main.ml
index 9ab66cbc9..4cc69b621 100644
--- a/src/bin_client/test/demo/main.ml
+++ b/src/bin_client/test/demo/main.ml
@@ -78,13 +78,6 @@ module Fitness = struct
 
 end
 
-let precheck_block
-    ~ancestor_context:_
-    ~ancestor_timestamp:_
-    (raw_block: block_header) =
-  Fitness.to_int64 raw_block.shell.fitness >>=? fun _ ->
-  return_unit
-
 let begin_application
     ~predecessor_context:context
     ~predecessor_timestamp:_
diff --git a/src/bin_client/test/test_injection.sh b/src/bin_client/test/test_injection.sh
index 4091ce2aa..c1c6fc4bd 100755
--- a/src/bin_client/test/test_injection.sh
+++ b/src/bin_client/test/test_injection.sh
@@ -31,7 +31,7 @@ done
 sleep 2
 
 # autogenerated from the demo source
-protocol_version="PrqRSDRSu849eAgN6UQXcZBAsK3jCHY7g9nQ6HWXAGkmDY4ffCH"
+protocol_version="PsVi9P3i73N4zstqkty4EiL76cofTFkthzSQPfLmChCvF7JopPh"
 
 $admin_client inject protocol "$test_dir/demo"
 $admin_client list protocols
diff --git a/src/lib_protocol_compiler/compiler.ml b/src/lib_protocol_compiler/compiler.ml
index a305752ab..56e87a1a9 100644
--- a/src/lib_protocol_compiler/compiler.ml
+++ b/src/lib_protocol_compiler/compiler.ml
@@ -232,5 +232,7 @@ let main { compile_ml ; pack_objects ; link_shared } =
     Format.printf "let src_digest = %S ;;\n" (Digest.to_hex dsrc) ;
     Format.printf "let impl_digest = %S ;;\n" (Digest.to_hex dimpl) ;
     Format.printf "let intf_digest = %S ;;\n" (Digest.to_hex dintf)
-  end
+  end ;
+
+  Format.printf "Success: %a@." Protocol_hash.pp hash