override __CTASSERT() too in case __COUNTER__ is missing