New issue from STL about shared_ptr's get_deleter()