Corrected name of installed Ubuntu 12 system ("precise32")