update libtins to 3.1