(TXT) clean_targets_minotauro.sh
 (TXT) dispatch_minotauro.sh
 (TXT) update_and_test.sh