better output on abnormalexit