DOC: User may need to remove -DBSD from CUDD_XCFLAGS