Fix SpecHelper.h compatibility header