Add missing brainpool.h.