fix php spec tests