bumping to gcc-4.8 (Ubuntu 14.04)