Changing git references for fork.

This is probably not the correct way to do it, but it gets me further
than before in attempting to get a devbox to run this thing, and I hope
this time it works out.