Fix phpspec coverage config