Fix compiler warning on Ubuntu 14.04