Thank you for your investigation.
Does the header of the libraries always include the statement
#include "Arduino.h