Try that again with gcc 4.8