Known Vulnerabilities in VLC Media Player 0.7.2