You're right we need to change the setup.php on the server because this path has changed.  Should only take 5 minutes to do when we're there but a task would be a good reminder.  I don't think we should be programmatically modifying setup.php.