try to fix php compile error