patmos: fix synth bugs