Re: gcc_select for gcc42