dev-setup: don't run generate_sources if we already have them