I'm seeing segmentation faults on the dev branch. It's not clear if this is a CppAD configuration issue.