Comment 1 for bug 81742

Thanks for taking the time reporting this bug.

I think the source of vmware-player has not been released. Therefore you should ask VMWare to do this:
http://www.vmware.com/support/services/player.html