64 bit cudd correctly compiled