Add forgotten annotation/annot.h