Try to fix compilation issue where ToSat requires ASTKinds.h