bump version. Fix bug that tests ps<pu to ps<=pu, led to problems when there were many zeros