Use tilde in pre-releases

This means we can use both the pre-release repositories and final release
repository, and not run into trouble, because pre-releases will
always sort as inferior to the corresponding final release.