and then the compiled extension called something else. Or rename the Python file to something else, but needs to be private.