use tup 0.6.5