Make PHP handle the signals