upgrade to gcc/g++ v4.8.1