use dev version of phpspec