also run on php 5.5