-XGADTs breaks compilation...