also test on php 5.3