Fix winpthreads for REVERSE* variables