SynthMaven installer