php 5.5 requirement (for generator)