avoid clashing with existing names on MacOSX. fixes #812