manueldeval/synth not found