Update dev-setup.php

Fix for non contributors