dead/packages: links for tsemodule5