gentoo updater: get rid of 9999 versions since they are pretty much useless