added deleter to work around boost versions