work-around for problems illustrated by 2.12.0-repo dir using the snapshot as extra source + an APT preference file setting higher priority for r-* deb packages from the snapshot