You have to execute gen_sdbsyn.py before the synthesis. I hope later we can
automatize this by using hdlmake. Gitignore doesn't allow to commit
synthesis_descriptor.vhd because eveyone has to generate his/her own with the
script.