Do not #include cpu.h during symbolic execution