Update Pure to 0.62 and fix propagatedBuildInputs

This also changes from `builderDefsPackage` to `mkDerivation`, which I understand from the mailing list is preferred.