update #274: now try with gcc 4.8