Add prfun@1.0.1

 * Needed for https://gerrit.wikimedia.org/r/#/c/164378/

Change-Id: I0b6ed05fac7774ee4238bf2e39a993835de5713c