don't copy cudd makefiles; use -f instead