switch to gcc for coverage