Fix phpspec version