Various small changes on the server and a fix for winpr-pool