Give a better name to the C extension