Fix build dependencies.

The proxy is incompatible with new API of TheVoid.