Use newest phpspec to avoid failure on 5.3.3