upgrade to tanukisoft 3.5.25 which is *not* yet in maven central