migrated rosinstall files