make php 5.3 compatible