* Changed installation procedure to reflect the master branch.
* Fixed some bugs that prevented synthesis from running