fix dev-setup.sh script
fix dev-setup.sh script

CrunchyData/crunchy-postgresql-manager,CrunchyData/crunchy-postgresql-manager,CrunchyData/crunchy-postgresql-manager,CrunchyData/crunchy-postgresql-manager,CrunchyData/crunchy-postgresql-manager