It's just checking for availability, not doing a fallback here. If gcc-4.2 is requested and doesn't exist then it fails with an error. When the GCC branch lands it'll be the same behaviour, GNU GCC has to be requested explicitly.