Anyone else trying to keep up with the apparently dead in the water jQuery Tools? This is a fix for jQuery 1.8