My mistake, see post underneath this for the correct solution to this problem.
Using the instruction from https://www.brainy-bits.com/ir-remote-arduino/ to get the header file worked.
That is moved away the “RobotIRremote” and put the https://github.com/z3t0/Arduino-IRremote there instead.
Been a while since doing software so maybe I missed something in the instruction doc but with this done the Nybble code passes verify.
Also a good link to change ownership on the Arduino IDE if using the install package which set "wrong" ownership" when installed on windows.