Fixes "includes" when exception.cc is newer than inc/exception. Noted in private mail by Havard Eidnes.