broke out coq stuff to seperate config file