Cómo desinstalar catkin en Debian Unstable (Sid)