fix one #ifdef SMP that didn't get turned into #ifdef THREADED_RTS