On 2016 Dec 23 16:06:56, you wrote to Nicholas Boel:   
      
    NB>> I would imagine Debian is still using gcc 4.9.x?   
      
    RM> Correct   
    RM> root@vserv:~# gcc --version   
    RM> gcc (Debian 4.9.2-10) 4.9.2   
      
   $ cat /etc/issue; gcc --version   
   Ubuntu 14.04.5 LTS   
      
   gcc (Ubuntu 4.8.4-2ubuntu1~14.04.3) 4.8.4   
   Copyright (C) 2013 Free Software Foundation, Inc.   
   This is free software; see the source for copying conditions.  There is NO   
   warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.   
      
   i have two cmake's, though... the default installed one...   
      
   $ cmake --version   
   cmake version 2.8.12.2   
      
   and a newer one required to build the simulator i'm involved with...   
      
   ~/flightgear-dev/next/install/cmake/bin/cmake   
   cmake version 3.7.20161029-gcc998   
      
   CMake suite maintained and supported by Kitware (kitware.com/cmake).   
      
      
   )\/(ark   
      
   Always Mount a Scratch Monkey   
   Do you manage your own servers? If you are not running an IDS/IPS yer doin' it   
   wrong...   
   ... Here comes Sanity, here comes Sanity, right down therapy lane.   
   ---   
    * Origin:  (1:3634/12.73)