buildbot: fixes for patmos-synth