Make the tests run on php 5.3