player: use c++ stdlib to remove vector element