[claix18-slurm-pilot] Re: Compiling C/C++ into a 32bit binary