Remove example/instantiation verification code from source.
GCC fixes.