Fix a next state caching bug
Fix a next state caching bug
Stop specifying CXX=clang++ to allow other compilers.
Merge branch 'develop'