Fix compiler error when using ./configure --enable-dev-mode --enable-coverage