Made necessary file name changes and edits to smartDevSetup.sql so that the setup will actually work