Add a hard-coded exception for sproxy, which is not registered on Hackage for some reason.

Cc: @shlevy