Proper exit with ctrl+c