Use update-alternatives for GCC 4.8