fix for theory preprocessing cache on clang, perhaps others.