Fix php53 tests

Let's see if now it works for everything...