9f8f7f3189
Fix finalize to ensure we only destruct the msg queue list once. Update platform file Signed-off-by: Ralph Castain <rhc@open-mpi.org>