update update_launch command for debian7