Make the http server work on w32 (^C not handled yet)