That's a security risk, if the source repo is maliciously altered. Let's add a dedicated script to automatically generate the source files instead.