Fix broken zk package spec

Change-Id: I71a1c3280e1a7ccfa4b11787d356e079a61b9c20