Fixed Travis issue with gcov and clang3.3