[PATCH 9/9] externs.h: remove this file