Generate extension with generate-extension.py