./12: en ligne de commande, il n'y a pas que `tigcc`, il y a aussi `tprbuilder`.