config: fix GCC build

somehow, GCC has trouble dealing with template specializations and
changes of the storage class in them