[gambit-list] output ports created with ##open-predefined not being garbage collected