For #192. * src/bddio.c, src/cppext.cxx, src/kernel.c: Fix printf formats, calls to new, and simplify one check in bdd_delref_nc().