Riverbasim: some files were not added on previous commit