setup_dev shouldn't be executable anymore