segfault on sigint (public) fix