Fix the server to build with gcc 4.8 on Ubuntu 14.04.