Slight change to instructions to select gcc version