It is most likely a problem with a PHP accelerator (if you are using one?). When PHP files are upgraded most accelerators has problems with this.
You should stop the webserver and cleanup all cache files from the accelerator, the files are normally found in /tmp. You should check the documentation for the accelerator for where the files are present.