Update to BigMemory 4.1.3