Fix for SIGINT abortion