fix build.sh to build .so version of CUDD