update libtins to 3.1

That's what I figured when I saw it failed on older OS X versions. Should be fixed now.