comment out wsproxy and boost 1.55