update-sev-cert:
	#rm sev-cert~*;
	for i in sev-cert_[0-9]*; do echo $$i:; ln -sfnv $$i sev-cert~$${i##*~}; done

#update-sev-cert-rust:
#	rm sev-cert-rust~*;
#	for i in sev-cert-rust_[0-9]*; do echo $$i:; ln -snv $$i sev-cert-rust~$${i##*~}; done