suppress warning about deprecated auto_ptr