Installing the topology checker