Initial setup

Fix bug in run-spec script