When I try to install s2e in my Ubuntu 12.04, there is a weired problem happens. It give the following error message when I try to install some of the libraries. Google directed me to the following solution, which worked perfectly for me. error 1[2][21:36:18][rui@~]$sudo apt-get install libsdl1.2-dev 2 3Reading package …