also test php 5.4