I think we have a helper function for getting the developer path; it should be used instead of hard-coding `/Developer`.