upgrade trumpet
0.7.2