correction de l'ordonancement de la compilation d'openocd