Extra Arduino library integration

That’s good to know, but doesn’t address the general question about why the new library isn’t known to the compiler.