phpspec extension: use proper io instead of echo