kill a mistakenly-checked-in binary
Use std::mutex and std::condition_variable.