Correct LibSynphony to SynPhony