edit: and rio, and 8½, and acme, and the rest of it!
Genuine question: WHy do you think it is awful? I found "Harvey OS" to have quite a nice ring to it.
It does not sound to me like a blockbuster name, but sounds good enough, like "Rust" :)
It sounds like something I'd name my dog. I don't like Jenkins, either. Clearly it's just personal taste, but I prefer either completely made up names, or names of inanimate objects. I think Rust is great, for example. I don't like "Travis". This is all just my own, subjective, personal opinion though. I apologize if my comment came off harshly.