gcc can only link, if -lobj is the first cudd lib to be linked... Now, all the object files can be removed from libobj.a