HEAD is now at 6875bb0 Don't hardcode the host gcc version
Signed-off-by: Paul Beeler <sparksco@gmail.com>