Re: another FLIPS build problem