Untracked: Fix PHP 5.3 (for now).