Update instDecoder.h

include under Linux