New versions of cxxtools and tntnet