[server] fix header for Linux