FIX: proxy now uses server name as well as port to avoid naming conflicts