exception header for linux