enforce gcc/g++-4.8