Point 4.5 to the correct server.

Fixes #41.