Rather than hand editing, we can use a command that generates that file. @julienw I can't find it anymore.