Warning on duplicate augmentation declarations