Make all tarballs deterministic

Every step can now be verified.