[#858] rename dev pkg to include coverage in the name to prevent external packages from failing for non coverage runs