#1196: update dist-rawhide to point to dist-f12