configure: Default to using Fedora 12 repo (was Fedora 11).