fixed synthesis.sh