bbdevs/private: links for tezos-smartpy