GnomeOS: add gcov and lcov
distro: prefer gcc 4.8