Re: [Gretl-devel] Compilation on Ubuntu 13.10, MPI