Fix a build error

which occurred when -Pcoverage was not specified