Known Vulnerabilities in VLC Media Player 0.5.1a