This fixes #7378.  It is not linked anymore.