DBServer: Fixes compilation on GCC