Update interruptible_thread.h