Set up CFGrapher executable