fixed ctr-c thread crash reintroduced by boost