Slightly more proper catalog/cookie for rpython.