regen with LCOV 1.11 (from Ubuntu 14.10)