Fix a race condition when loading SF3 files #1339

Job	Run time
build (-Denable-profiling=1)	1m 42s
build (-Denable-floats=1 -Denable-profiling=1)	2m 7s
build (-Denable-floats=1)	1m 16s
build (-Denable-trap-on-fpe=1)	57s
build (-Denable-fpe-check=1)	1m 15s
build (-Denable-ipv6=0)	1m 20s
build (-Denable-network=0)	58s
build (-Denable-aufile=0)	59s
build (-DBUILD_SHARED_LIBS=0)	1m 26s
build (-Denable-ubsan=1 -Denable-debug=1)	1m 14s
build (-Denable-debug=1 -DCMAKE_C_FLAGS_DEBUG=-fuse-ld=gold)	1m 15s
build (clang-7, clang++-7)	1m 2s
build (clang-8, clang++-8)	1m 0s
build (clang-10, clang++-10)	1m 1s
build (clang-12, clang++-12)	1m 3s
build (clang-10, clang++-10, -DBUILD_SHARED_LIBS=0)	1m 24s
	19m 59s

Provide feedback