libwebsockets build fix