No 4.4.2_r2 tag for GCC 4.8 so we use master branch