GCC 4.8.0 isn't reliable, downgrading to 4.7.2 for now.