Fix version -- never released RC4.