Fix generate_sources.py