Track SM's new GCC 4.8 kitkat branch