changed setup.sql