Workaround #1037 by monkey patching whoosh issue #376