Fixed profiling/coverage options in cmake