add #include <algorithm> to zdd.cc