Fix php svm extension bug