dead/packages: links for fiat-cli