new location for specdev.h include