pietro abate - 2010-04-22

sorry the the double message ... ofcourse the include /usr/include/bdd.h should also be renamed
of otherwise installed in a sub directory as /usr/include/buddy/bdd.h . I guess this solution would be
cleaner. This has the potential to break sw that relies on buddy bdd in a trivial way.