Fix array diff to make it compatible with PHP 5.4