Bueno... en fin, la solución por lo menos para mi fue bastante simple. Al parecer al actualizar el menu debian se desactivó en el editor de menúes. Basta con marcarlo nuevamente para que vuelva a aparecer. Espero les sirva a ustedes también.