use `1.7.11b` here? This makes it clear what to do if the GCC version is bumped.