update stl-permutation