update to WiredTiger 1.4.2