Revert: Use CFX GCC 4.8 repos