Use a polyfill for Enum on Python<3.4