updated to GCC 4.8