FIX #1450: asynchronous exceptions are now printed by +RTS -xc