Configure gdtoa for DragonFly: