fix test_bf4