Just some edited shell scripts to solve some basic issues with the Pinguino IDE installation on GNU/Linux