Make it possible to rename obstack_free.