Check that a library is available for FFI