Update paths.

I hope this is not because I am inappropriately sudoing.