Fixed name of topology tool so that Travis CI build passes