Library include header file not found

OK, this works. Since this builds in the Arduino environment, I would agree that it sounds like a possible bug. Thanks again for your help.