Another Ubuntu 13 GCC warning problem.