Changes to make SimX work with single-threaded miniSSF.