Fixed an issue w/ Segmentation faults and double frees in setup.cc