Fix rosinstall filename