Puede ser un bug que no hayan reparado en esa version de Ubuntu. (Ubuntu 12.10 es viejo y ya no ofrecen mas soporte para distro). Te recomendaria hacer un update a otra version antes que corregir el problema porque no sabes que otros problemas vayas a tener y al final vas a tener que hacer un upgrade completo y los fixes de nada te van a servir ahi.