In cudd/Makefile, don't declare the following variables, as this
prevents them from being inherited from the environment created by the
top-level make process:

  CC
  CXX
  CXXFLAGS
  LDFLAGS
  EXE