ObjectEditor made more compatible with other OSes (and Mono).