Do not use docker container for coverage until Jenkins can use docker