Have Travis use the same GCC Citadel uses