Fix scripts/build_all_examples.py
Fix scripts/build_all_examples.py

Fix a build error that may happen due to an old gprbuild being in use.

Fabien-Chouteau/Ada_Drivers_Library,AdaCore/Ada_Drivers_Library,Fabien-Chouteau/Ada_Drivers_Library,simonjwright/Ada_Drivers_Library,simonjwright/Ada_Drivers_Library,AdaCore/Ada_Drivers_Library