marketpress.php file in wp-admin??

I just noticed that in my wp-admin folder there is a file called marketpress.php.
On the info of the file it says that it's version 2.5.5

The thing is that I don't recall putting this file in there and I was about to delete it, but just to be sure: Was this file needed in version 2.5.5? If yes, is it still needed? If not, I will simply delete it. If yes, why has it not been updated to the latest version? And should I update it manually?

Can someone just check their own installation and tell me if this file is present on you too?