Fix phpdiff issue for php5.5