hpcugent/vsc-zk not found