Bugfix in PHP runtime: problem with deep recursion in array_search