Re: [Hackage] #16: relink only when necessary