Tidied up the build of CL-CUDD

There were a number of things in the building process that SBCL objected to, which I have tidied up in this patch.