update manifest and synth def