No meu caso, eu também encontrei erros durante a instalação do vmware player (algumas coisas de codificação estranhas), eu acho, porque o 13.04 ainda não é oficialmente suportado pelo vmware.
De qualquer forma, além de desinstalar e reintegrar, no meu caso, fechar o vmware e executá-lo em um terminal:
sudo vmware-modconfig --console --install-all
também era uma solução válida após, por exemplo, atualizações de segurança do kernel.