revert khash.pxd