Some tweaks to build a server with proton-hawtdispatch