[packages,Gcc,4.8] Some fixes for Gcc-4.8 installations. Bit hacky though