CI: use gcc 4.8 too (not only g++ 4.8).