after interminable tinkering with libraries API et al I opted to suppress the include() error and add a drupal error when the Mobile Detect library is missing.