header: nospec.h: provide dummy header file