make bloom filter compatible on windows