ROS instructions on Debian broken