Fix coverage command in jenkins build script