Library updates; fixed broken destructors