fixup! WIP Add a threading back end that uses c++11's std::thread