Fix destructor warning in python interface