Use my more-correct permute package

Desperately need to trim duplicates now.