I just did a fresh checkout of the head, compiled and installed to a local directory - now when I include "Instructions.h" it says it can't find Instruction.def. This file used to be installed, is it no longer the case? I'm using cmake. -- Talin