Fix on other OS's runtime.badsignal(): not defined