fix for theory preprocessing cache on clang, perhaps others.
Merge branch '1.0.x'