[core] Upgrade to gcc-4.8.0; Use static libraries when possible