compiling websockets_server external for both 32 and 64 bit