tsan: port to freebsd