Switch to a more high-level threading library