Well,there is a real libavcodec available in the repos(and also libamrnb)(It may take your root space,so make sure that you have enough) You no longer need the file,so it's better that you delete it.Also,it's better that you enable the extras-testing repository before installing the libavcodec.Since it's more stable. Code: sudo gainroot rm /opt/preenv/lib/libavcodec.so.52 apt-get install libavcodec52 apt-get install libamrnb I am sure that javispedro will fix this problem in the new version.He may include these libraries in the next version so the apt-get won't be needed for this.But still,there is a chance that your game won't be fixed with this.
sudo gainroot rm /opt/preenv/lib/libavcodec.so.52 apt-get install libavcodec52 apt-get install libamrnb