Build libbdd.so as well as just libbdd.a