I just split this off as it is the more crucial/urgent part of the task as there is an ongoing risk of breakage until we do this (we have on more than 2 occassions in the past forgotten the manual step that keeps this from breaking and civiproxy will break as well as the pre-existing places if we do again)
The repo should be in the drupal/sites/all/modules/civicrm location and there should be no symlink