It's still possible to run the example without compiling sharpclaw1.so.  So maybe we shouldn't raise an error, but just warn the user that the run won't use characteristic decomposition.