Fix build without INVARIANTS defined by getting rid of unused variable 'exc'.

Reported by:	adrian, stefanf