GCov enabled in Travis config file