Fix SwfTools exception support